home *** CD-ROM | disk | FTP | other *** search
/ Chip 2005 June / ccd0605.iso / Software / Freeware / Programare / highlight / highlight-W32GUI-2.2-10b-Setup.exe / {app} / langDefs / lotos.lang < prev    next >
Text File  |  2004-07-06  |  1KB  |  37 lines
  1. # Lotos (ISO 8807) language definition file
  2. #
  3. # Author: AndrΘ Simon
  4. #   Mail: andre.simon1@gmx.de
  5. #   Date: 08.02.04
  6. # ------------------------------------------
  7. # This file is a part of highlight, a free source code converter released under the GPL.
  8. #
  9. # The file is used to describe keywords and special symbols of programming languages.
  10. # See README in the highlight directory for details.
  11. #
  12. # New definition files for future releases of highlight are always appreciated ;)
  13. #
  14. # ----------
  15. # andre.simon1@gmx.de
  16. # http:/www.andre-simon.de/
  17.  
  18. $KW_LIST(kwa)=accept actualizedby any behavior behaviour choice endlib endproc
  19. endspec endtype eqns  exit for forall formaleqns formalopns formalsorts hide
  20. iin is let library noexit of ofsort opnnames  opns par  process  renamedby 
  21. sortnames  sorts  specification  stop  type  using  where  false true
  22.  
  23.  
  24. $KW_LIST(kwb)=Bit BitString Bool DecDigit DecString Element FBool HexDigit
  25. HexStringOctDigit Octet OctString Nat NonEmptyString OctetString Set String
  26. BasicNaturalNumber BasicNonEmptyString BitNatRepr Boolean FBoolean DecNatRepr
  27. HexNatRepr NatRepresentations NaturalNumber OctNatRepr RicherNonEmptyString
  28. String0 String1
  29.  
  30. $STRINGDELIMITERS=" '
  31.  
  32. $ML_COMMENT=(* *)
  33.  
  34. $IGNORECASE=false
  35.  
  36. $SYMBOLS= ( ) [ ] { } , ; : & | < > !  = / * %  + -
  37.